21. Logic and computer science
پدیدآورنده : Edited by Piergiorgio Odifreddi
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
9
.
L6
1990
22. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer ... ]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
Vol
.
1429
23. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
24. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
25. Logic and its applications
پدیدآورنده : Burke, Edmund
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic programming , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
B87
1996
26. Logic and its applications
پدیدآورنده : Burke, Edmund
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
B87
1996
27. Logic-based methods for optimization :
پدیدآورنده : John Hooker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Linear programming.,Logic, Symbolic and mathematical.,Mathematical optimization.
رده :
T57
.
74
J646
2000
28. Logic-based methods for optimization: combining and constraint satisfaction
پدیدآورنده : John Hooker
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Linear programming,Mathematical optimization,Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H66
2000
29. Logic-based methods for optimization: combining optimization and constraint satisfaction
پدیدآورنده : Hooker, John
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H66
2000
30. Logic-based methods for optimization : combining optimization and constraint satisfaction
پدیدآورنده : Hooker, John, 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H6
31. Logic for applications
پدیدآورنده : Nerode, Anil, 2391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
N47
32. Logic for computer scientists
پدیدآورنده : Schoning, Uwe, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Logic programming
رده :
QA
9
.
S363
1989
33. Logic for computer scientists
پدیدآورنده : Schoning, Uw
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Logic programming
رده :
QA
9
.
S363
1989
34. Logic for computer scientists
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming. ; Logic, Symbolic and mathematical. ;
35. Logic for computer scientists /
پدیدآورنده : Uwe Schöning.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming.,Logic, Symbolic and mathematical.,logique.,programmation en logique.,Logique symbolique et mathématique.,Programmation logique.,31.80 applications of mathematics.,Datenverarbeitung,Informatik,Logic programming.,Logic programming.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Logique symbolique et mathématique.,Logische Programmierung,Programmation logique.
رده :
QA9
.
S363
1989
36. Logic for problem solving
پدیدآورنده : Kowalski, Robert
موضوع : ، Problem solving,، Electronic digital computer-- Programming,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
37. Logic of Domains
پدیدآورنده : Zhang, Guo-Qiang, 0691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
38. Logic of domains
پدیدآورنده : Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
39. Logic programming, functions, relations, and equations
پدیدآورنده : (edited by) Doug DeGroot, Gary Lindstrom
موضوع : Logic programming,Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
40. Logical methods : in honor of Anil Nerode's Sixtieth birthday
پدیدآورنده : John N. Crossley...]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical,، Nerode, Anil, 2391-
رده :
QA
76
.
63
.
L63